Optimal. Leaf size=155 \[ \frac{(d+e x)^4 (A b-a B)}{4 b^2}+\frac{(d+e x)^3 (A b-a B) (b d-a e)}{3 b^3}+\frac{(d+e x)^2 (A b-a B) (b d-a e)^2}{2 b^4}+\frac{e x (A b-a B) (b d-a e)^3}{b^5}+\frac{(A b-a B) (b d-a e)^4 \log (a+b x)}{b^6}+\frac{B (d+e x)^5}{5 b e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0956148, antiderivative size = 155, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.05, Rules used = {77} \[ \frac{(d+e x)^4 (A b-a B)}{4 b^2}+\frac{(d+e x)^3 (A b-a B) (b d-a e)}{3 b^3}+\frac{(d+e x)^2 (A b-a B) (b d-a e)^2}{2 b^4}+\frac{e x (A b-a B) (b d-a e)^3}{b^5}+\frac{(A b-a B) (b d-a e)^4 \log (a+b x)}{b^6}+\frac{B (d+e x)^5}{5 b e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 77
Rubi steps
\begin{align*} \int \frac{(A+B x) (d+e x)^4}{a+b x} \, dx &=\int \left (\frac{(A b-a B) e (b d-a e)^3}{b^5}+\frac{(A b-a B) (b d-a e)^4}{b^5 (a+b x)}+\frac{(A b-a B) e (b d-a e)^2 (d+e x)}{b^4}+\frac{(A b-a B) e (b d-a e) (d+e x)^2}{b^3}+\frac{(A b-a B) e (d+e x)^3}{b^2}+\frac{B (d+e x)^4}{b}\right ) \, dx\\ &=\frac{(A b-a B) e (b d-a e)^3 x}{b^5}+\frac{(A b-a B) (b d-a e)^2 (d+e x)^2}{2 b^4}+\frac{(A b-a B) (b d-a e) (d+e x)^3}{3 b^3}+\frac{(A b-a B) (d+e x)^4}{4 b^2}+\frac{B (d+e x)^5}{5 b e}+\frac{(A b-a B) (b d-a e)^4 \log (a+b x)}{b^6}\\ \end{align*}
Mathematica [A] time = 0.13477, size = 257, normalized size = 1.66 \[ \frac{b x \left (10 a^2 b^2 e^2 \left (3 A e (8 d+e x)+2 B \left (18 d^2+6 d e x+e^2 x^2\right )\right )-30 a^3 b e^3 (2 A e+8 B d+B e x)+60 a^4 B e^4-5 a b^3 e \left (4 A e \left (18 d^2+6 d e x+e^2 x^2\right )+B \left (36 d^2 e x+48 d^3+16 d e^2 x^2+3 e^3 x^3\right )\right )+b^4 \left (5 A e \left (36 d^2 e x+48 d^3+16 d e^2 x^2+3 e^3 x^3\right )+12 B \left (10 d^2 e^2 x^2+10 d^3 e x+5 d^4+5 d e^3 x^3+e^4 x^4\right )\right )\right )+60 (A b-a B) (b d-a e)^4 \log (a+b x)}{60 b^6} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.005, size = 521, normalized size = 3.4 \begin{align*} -{\frac{4\,B{x}^{3}ad{e}^{3}}{3\,{b}^{2}}}-4\,{\frac{Ba{d}^{3}ex}{{b}^{2}}}-{\frac{{a}^{3}A{e}^{4}x}{{b}^{4}}}+{\frac{B{x}^{4}d{e}^{3}}{b}}-{\frac{B{x}^{4}a{e}^{4}}{4\,{b}^{2}}}+{\frac{{a}^{2}A{x}^{2}{e}^{4}}{2\,{b}^{3}}}-{\frac{B{x}^{2}{a}^{3}{e}^{4}}{2\,{b}^{4}}}+2\,{\frac{B{x}^{2}{d}^{3}e}{b}}+{\frac{B{x}^{3}{a}^{2}{e}^{4}}{3\,{b}^{3}}}+3\,{\frac{A{x}^{2}{d}^{2}{e}^{2}}{b}}-{\frac{aA{x}^{3}{e}^{4}}{3\,{b}^{2}}}+2\,{\frac{B{x}^{3}{d}^{2}{e}^{2}}{b}}+{\frac{4\,A{x}^{3}d{e}^{3}}{3\,b}}-{\frac{\ln \left ( bx+a \right ) Ba{d}^{4}}{{b}^{2}}}+4\,{\frac{A{d}^{3}ex}{b}}+{\frac{B{a}^{4}{e}^{4}x}{{b}^{5}}}+{\frac{A{x}^{4}{e}^{4}}{4\,b}}+{\frac{\ln \left ( bx+a \right ) A{d}^{4}}{b}}+{\frac{B{d}^{4}x}{b}}+{\frac{B{x}^{5}{e}^{4}}{5\,b}}+{\frac{\ln \left ( bx+a \right ) A{a}^{4}{e}^{4}}{{b}^{5}}}-{\frac{\ln \left ( bx+a \right ) B{a}^{5}{e}^{4}}{{b}^{6}}}-6\,{\frac{\ln \left ( bx+a \right ) B{a}^{3}{d}^{2}{e}^{2}}{{b}^{4}}}-4\,{\frac{\ln \left ( bx+a \right ) Aa{d}^{3}e}{{b}^{2}}}+4\,{\frac{\ln \left ( bx+a \right ) B{a}^{4}d{e}^{3}}{{b}^{5}}}-4\,{\frac{\ln \left ( bx+a \right ) A{a}^{3}d{e}^{3}}{{b}^{4}}}+6\,{\frac{\ln \left ( bx+a \right ) A{a}^{2}{d}^{2}{e}^{2}}{{b}^{3}}}+4\,{\frac{{a}^{2}Ad{e}^{3}x}{{b}^{3}}}+6\,{\frac{B{a}^{2}{d}^{2}{e}^{2}x}{{b}^{3}}}-6\,{\frac{aA{d}^{2}{e}^{2}x}{{b}^{2}}}-4\,{\frac{B{a}^{3}d{e}^{3}x}{{b}^{4}}}-3\,{\frac{B{x}^{2}a{d}^{2}{e}^{2}}{{b}^{2}}}-2\,{\frac{aA{x}^{2}d{e}^{3}}{{b}^{2}}}+2\,{\frac{B{x}^{2}{a}^{2}d{e}^{3}}{{b}^{3}}}+4\,{\frac{\ln \left ( bx+a \right ) B{a}^{2}{d}^{3}e}{{b}^{3}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.03342, size = 540, normalized size = 3.48 \begin{align*} \frac{12 \, B b^{4} e^{4} x^{5} + 15 \,{\left (4 \, B b^{4} d e^{3} -{\left (B a b^{3} - A b^{4}\right )} e^{4}\right )} x^{4} + 20 \,{\left (6 \, B b^{4} d^{2} e^{2} - 4 \,{\left (B a b^{3} - A b^{4}\right )} d e^{3} +{\left (B a^{2} b^{2} - A a b^{3}\right )} e^{4}\right )} x^{3} + 30 \,{\left (4 \, B b^{4} d^{3} e - 6 \,{\left (B a b^{3} - A b^{4}\right )} d^{2} e^{2} + 4 \,{\left (B a^{2} b^{2} - A a b^{3}\right )} d e^{3} -{\left (B a^{3} b - A a^{2} b^{2}\right )} e^{4}\right )} x^{2} + 60 \,{\left (B b^{4} d^{4} - 4 \,{\left (B a b^{3} - A b^{4}\right )} d^{3} e + 6 \,{\left (B a^{2} b^{2} - A a b^{3}\right )} d^{2} e^{2} - 4 \,{\left (B a^{3} b - A a^{2} b^{2}\right )} d e^{3} +{\left (B a^{4} - A a^{3} b\right )} e^{4}\right )} x}{60 \, b^{5}} - \frac{{\left ({\left (B a b^{4} - A b^{5}\right )} d^{4} - 4 \,{\left (B a^{2} b^{3} - A a b^{4}\right )} d^{3} e + 6 \,{\left (B a^{3} b^{2} - A a^{2} b^{3}\right )} d^{2} e^{2} - 4 \,{\left (B a^{4} b - A a^{3} b^{2}\right )} d e^{3} +{\left (B a^{5} - A a^{4} b\right )} e^{4}\right )} \log \left (b x + a\right )}{b^{6}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.50467, size = 792, normalized size = 5.11 \begin{align*} \frac{12 \, B b^{5} e^{4} x^{5} + 15 \,{\left (4 \, B b^{5} d e^{3} -{\left (B a b^{4} - A b^{5}\right )} e^{4}\right )} x^{4} + 20 \,{\left (6 \, B b^{5} d^{2} e^{2} - 4 \,{\left (B a b^{4} - A b^{5}\right )} d e^{3} +{\left (B a^{2} b^{3} - A a b^{4}\right )} e^{4}\right )} x^{3} + 30 \,{\left (4 \, B b^{5} d^{3} e - 6 \,{\left (B a b^{4} - A b^{5}\right )} d^{2} e^{2} + 4 \,{\left (B a^{2} b^{3} - A a b^{4}\right )} d e^{3} -{\left (B a^{3} b^{2} - A a^{2} b^{3}\right )} e^{4}\right )} x^{2} + 60 \,{\left (B b^{5} d^{4} - 4 \,{\left (B a b^{4} - A b^{5}\right )} d^{3} e + 6 \,{\left (B a^{2} b^{3} - A a b^{4}\right )} d^{2} e^{2} - 4 \,{\left (B a^{3} b^{2} - A a^{2} b^{3}\right )} d e^{3} +{\left (B a^{4} b - A a^{3} b^{2}\right )} e^{4}\right )} x - 60 \,{\left ({\left (B a b^{4} - A b^{5}\right )} d^{4} - 4 \,{\left (B a^{2} b^{3} - A a b^{4}\right )} d^{3} e + 6 \,{\left (B a^{3} b^{2} - A a^{2} b^{3}\right )} d^{2} e^{2} - 4 \,{\left (B a^{4} b - A a^{3} b^{2}\right )} d e^{3} +{\left (B a^{5} - A a^{4} b\right )} e^{4}\right )} \log \left (b x + a\right )}{60 \, b^{6}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 1.21635, size = 345, normalized size = 2.23 \begin{align*} \frac{B e^{4} x^{5}}{5 b} - \frac{x^{4} \left (- A b e^{4} + B a e^{4} - 4 B b d e^{3}\right )}{4 b^{2}} + \frac{x^{3} \left (- A a b e^{4} + 4 A b^{2} d e^{3} + B a^{2} e^{4} - 4 B a b d e^{3} + 6 B b^{2} d^{2} e^{2}\right )}{3 b^{3}} - \frac{x^{2} \left (- A a^{2} b e^{4} + 4 A a b^{2} d e^{3} - 6 A b^{3} d^{2} e^{2} + B a^{3} e^{4} - 4 B a^{2} b d e^{3} + 6 B a b^{2} d^{2} e^{2} - 4 B b^{3} d^{3} e\right )}{2 b^{4}} + \frac{x \left (- A a^{3} b e^{4} + 4 A a^{2} b^{2} d e^{3} - 6 A a b^{3} d^{2} e^{2} + 4 A b^{4} d^{3} e + B a^{4} e^{4} - 4 B a^{3} b d e^{3} + 6 B a^{2} b^{2} d^{2} e^{2} - 4 B a b^{3} d^{3} e + B b^{4} d^{4}\right )}{b^{5}} - \frac{\left (- A b + B a\right ) \left (a e - b d\right )^{4} \log{\left (a + b x \right )}}{b^{6}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 3.53079, size = 599, normalized size = 3.86 \begin{align*} \frac{12 \, B b^{4} x^{5} e^{4} + 60 \, B b^{4} d x^{4} e^{3} + 120 \, B b^{4} d^{2} x^{3} e^{2} + 120 \, B b^{4} d^{3} x^{2} e + 60 \, B b^{4} d^{4} x - 15 \, B a b^{3} x^{4} e^{4} + 15 \, A b^{4} x^{4} e^{4} - 80 \, B a b^{3} d x^{3} e^{3} + 80 \, A b^{4} d x^{3} e^{3} - 180 \, B a b^{3} d^{2} x^{2} e^{2} + 180 \, A b^{4} d^{2} x^{2} e^{2} - 240 \, B a b^{3} d^{3} x e + 240 \, A b^{4} d^{3} x e + 20 \, B a^{2} b^{2} x^{3} e^{4} - 20 \, A a b^{3} x^{3} e^{4} + 120 \, B a^{2} b^{2} d x^{2} e^{3} - 120 \, A a b^{3} d x^{2} e^{3} + 360 \, B a^{2} b^{2} d^{2} x e^{2} - 360 \, A a b^{3} d^{2} x e^{2} - 30 \, B a^{3} b x^{2} e^{4} + 30 \, A a^{2} b^{2} x^{2} e^{4} - 240 \, B a^{3} b d x e^{3} + 240 \, A a^{2} b^{2} d x e^{3} + 60 \, B a^{4} x e^{4} - 60 \, A a^{3} b x e^{4}}{60 \, b^{5}} - \frac{{\left (B a b^{4} d^{4} - A b^{5} d^{4} - 4 \, B a^{2} b^{3} d^{3} e + 4 \, A a b^{4} d^{3} e + 6 \, B a^{3} b^{2} d^{2} e^{2} - 6 \, A a^{2} b^{3} d^{2} e^{2} - 4 \, B a^{4} b d e^{3} + 4 \, A a^{3} b^{2} d e^{3} + B a^{5} e^{4} - A a^{4} b e^{4}\right )} \log \left ({\left | b x + a \right |}\right )}{b^{6}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]